#include <stdio.h>
#include <assert.h>

int main(){
    int a;
    char str[50];
    printf("Enter an integer: ");
    scanf("%d",&a);
    assert(a>10);
    return 0;
}
